Using Spec Explorer for Automatic Checking of Constraints in Software €Controlled Systems.

In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally. Such formal definitions can help in the automatic checking and verification for them. It can also help in the automatic test case generation, execution and verification. In this paper, we will demonstrate and evaluate the usage of Spec Explorer from Microsoft for defining and checking examples of software controlled system such as cruise control. Such formal requirements can be eventually embedded in the developed system or can help in exposing important elements to test in the testing stage or through the usage of the applicationModel-Based Testing, Spec Explorer, FSM Models, Software Controlled Systems

Evaluating Software Complexity Based on Decision Coverage

It is becoming increasingly difficult to ignore the complexity of software products. Software metrics are proposed to help show indications for quality, size, complexity, etc. of software products. In this paper, software metrics related to complexity are developed and evaluated. A dataset of many open source projects is built to assess the value of the developed metrics. Comparisons and correlations are conducted among the different tested projects. A classifica-tion is proposed to classify software code into different levels of complexity. The results showed that measuring the complexity of software products based on decision coverage gives a significant indicator of degree of complexity of those software products. However, such in-dicator is not exclusive as there are many other complexity indicators that can be measured in software products. In addition, we conducted a comparison among several available metric tools that can collect software complexity metrics. Results among those different tools were not consistent. Such comparison shows the need to have a unified standard for measuring and collecting complexity attributes

Building an e-Commerce Infrastructure in Jordan: Challenges and Requirements

Many countries around the world are trying to build and enhance their internet infrastructure and utilize services related to the Internet such as e-Commerce, information connectivity, accessibility, etc. However, studies indicated that network and hardware requirements are not always the major barrier for progressing in these goals. In some cases, cultural, legal or environmental factor may dominate the type of barriers for the expansion of internet related service in many countries around the world. This paper presents challenges and requirements for the enhancement of e-Commerce services in particular for Jordan

Collaboration Networks of Levantine Biomedical Researchers

, , , , Elhadj Benkhelif